update(${\it eq}$;$f$;$x$;$v$)($y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if ${\it eq}$($y$,$x$) then $v$ else $f$($y$) fi